{ : }

{ : }

{ | } 集合構造記號 {x : P(x)} 表示所有滿足 P(x) 的 x 的集合。

{x | P(x)} 和 {x : P(x)} 的意義相同。 {n ∈ N : n2 < 20} = {0,1,2,3,4}

滿足…的集合

集合論